Nuprl Definition : prod-deq-aux
0,22
postcript
pdf
prod-deq-aux{v:l,i:l}(
A
;
B
;
a
;
b
) == TERMOF{
proddeq-property
:ObjectId, v:l, i:l}(
A
,
B
,
a
,
b
)
latex
clarification:
prod-deq-aux{v:l, i:l}(
A
;
B
;
a
;
b
) == TERMOF{
proddeq-property
:ObjectId, v:l, i:l}(
A
,
B
,
a
,
b
)
latex
Definitions
proddeq-property
FDL editor aliases
prod-deq-aux
origin